Forbidden Forests in Priestley Spaces
نویسنده
چکیده
We present a first order formula characterizing the distributive lattices L whose Priestley spaces P(L) contain no copy of a finite forest T . For Heyting algebras L, prohibiting a finite poset T in P(L) is characterized by equations iff T is a tree. We also give a condition characterizing the distributive lattices whose Priestley spaces contain no copy of a finite forest with a single additional point at the bottom.
منابع مشابه
Dualities in Lattice Theory
In this note we prove several duality theorems in lattice theory. We also discuss the connection between spectral spaces and Priestley spaces, and interpret Priestley duality in terms of spectral spaces. The organization of this note is as follows. In the first section we collect appropriate definitions and basic results common to many of the various topics. The next four sections consider Birk...
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملA Duality for Quasi Ordered Structures (i)
Recently, several authors extended Priestley duality for distributive lattices [9] to other classes of algebras, such as, e.g. distributive lattices with operators [7], MV -algebras [8], MTL and IMTL algebras [2]. In [5] necessary and sufficient conditions for a normally presented variety to be naturally dualizable, in the sense of [6], i.e. with respect to a discrete topology, have been provid...
متن کاملPriestley Style Duality for Distributive Meet-semilattices
We generalize Priestley duality for distributive lattices to a duality for distributive meet-semilattices. On the one hand, our generalized Priestley spaces are easier to work with than Celani’s DS-spaces, and are similar to Hansoul’s Priestley structures. On the other hand, our generalized Priestley morphisms are similar to Celani’s meet-relations and are more general than Hansoul’s morphisms....
متن کاملStone Spaces versus Priestley Spaces
[1] B. Banaschewski, Über nulldimensionale Räume, Math. Nache 13 (1955) 129-140. [2] F. Borceux and J. Janelidze, Galois Theories, Cambridge University Press (2001). [3] M. Dias and M. Sobral, Descent for Priestley Spaces, Appl. Categor. Struct 14 (2006) 229-241. [4] B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge Mathematical Texbooks (1990). [5] R. Engelking and...
متن کامل